Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
How To Solve Every Programming Problem
blog.codeminer42.com·1h
📐Interval Arithmetic
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
[D] reflecting on 8 years of model inference
reddit.com·3d·
Discuss: r/MachineLearning
💻Local LLMs
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Kolmogorov Complexity
p-fast trie, but smaller
dotat.at·3h
🌳Trie Structures
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·16h
📏Linear Logic
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·20h·
Discuss: Lobsters
🔗Functional Compilers
Machine Learning Fundamentals: model evaluation project
dev.to·1d·
Discuss: DEV
📏Code Metrics
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Rod Burstall: In Memoriam
arxiv.org·1d·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·6h·
Discuss: Hacker News
🌐Protocol Synthesis
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·3h·
Discuss: Hacker News
🤖Lisp Machines
DSPy Simba Explained
blog.mariusvach.com·22h·
Discuss: Hacker News
🧮SMT Solvers
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1d·
Discuss: Hacker News
💧Liquid Types
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·16h
🎯Dependent Parsing
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·4h·
Discuss: DEV
⚡Proof Automation